<?php

function redirectTo($destination) {
	if ( $destination == "back" )
		$destination = $_SERVER['HTTP_REFERER'];
	
  header('Location: ' . $destination);
}

?>
